<?php

declare (/**/ ticks = "" ) {
    ;
}